Nuprl Definition : l-union
11,40
postcript
pdf
l-union(
eq
;
as
;
bs
) == reduce((
a
,
L
. insert(
eq
;
a
;
L
));
as
;
bs
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
insert(
eq
;
a
;
L
)
FDL editor aliases
l-union
origin
a,L. insert(eq; a; L)); as; bs) a,L. insert(eq; a; L)); as; bs) x.A(x)